PLoP 2021

"Myths and Mythconceptions: What does it mean to be a programming language, anyhow?"

現代のソフトウェアは、社会技術的・物理的システムに組み込まれている。それは、データ、通信、センサー、人間との相互作用などの非コードリソースだけでなく、相互依存のサブシステムからの計算支援に依存している。汎用プログラミング言語とプログラミング言語研究の主流は、専門家が正確に指定された問題に対する正しい解を作成するために使用する、明確に定義されたセマンティクスを持つ記号的表記法に焦点を合わせている。しかし、これらは現代のソフトウェアのごく一部にしか対応していません。

> 永続的な神話がこの焦点を補強している。これらの神話は、現代のソフトウェアを検証するためのレンズとなります。高度に訓練された専門家の数が一般の開発者よりも少ないこと、新しいコードを書く際には、仕様のはっきりしないソフトウェアと非ソフトウェアコンポーネントの組み合わせが主流であること、汎用言語と機能的な正確さがドメイン固有の言語とタスクへの適合性よりもしばしば適切ではないこと、ソフトウェアについての推論は実行環境における不確実性と非決定性（特に機械学習に依存したシステムの到来に伴い）が問題になること、などです。私たちの根強い神話というレンズは、プログラミング言語研究の新たな機会と課題を照らし出します。

"How can we learn from Programming Systems? (They, too, deserve a theory.)"

Joel Jakubovic, Jonathan Edwards, and Thomas Petricek, University of Kent, UK

この講演は、プログラミングシステムからプログラミング言語へのパラダイムシフトとその逆についてである。講演者は、歴史的、哲学的、方法論的な問題、そして、パターンがいかにして両立しない世界観について考えるためのテンプレートとなりうるかについて議論します。

"Workshop: Flaws of the Cool City"

Joseph Corneli, Alex Murphy, Raymond S. Puzio, Leo Vivier, Noorah Alhasan, Charles J. Danoff, Vitor Bruno, Charlotte Pierce

このワークショップでは、デザインパターン言語とCausal Layered Analysis (CLA)の相互作用を、協力型ゲームの文脈の中で探ります。また、参加者にこれらの手法を紹介します（予備知識がないことを前提としています）。このワークショップのテーマは、都市環境における気候変動の改善と適応です。都市は世界のCO2排出量の70％以上を占めているため、このワークショップは参加者が現代の重要な課題に取り組むのに役立ちます。